Books by author Yassine Lakhnech

Showing 1 – 3 out of 3 results

1. 

   Tool Support for System Specification, Development and Verification

   Rudolf Berghammer, Yassine Lakhnech | Springer Verlag GmbH, 1999

   
   

   Low in stock at our supplier - Shipping in 10 - 14 days

   Language: English

   Binding: Paperback

   58.44 €

   Buy
2. 

   From Programs to Systems - The Systems Perspective in Computing

   Saddek Bensalem, Yassine Lakhnech, Axel Legay | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2014

   
   

   Low in stock at our supplier - Shipping in 10 - 14 days

   Language: English

   Binding: Paperback

   58.44 €

   Buy
3. 

   Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems

   Yassine Lakhnech, Sergio Yovine | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2004

   
   

   Low in stock at our supplier - Shipping in 10 - 14 days

   Language: English

   Binding: Paperback

   58.44 €

   Buy

Free shipping for orders over 59.99 €. Find out more